A Algebra-Coalgebra Duality in Brzozowski’s Minimization Algorithm
نویسنده
چکیده
We give a new presentation of Brzozowski’s algorithm to minimize finite automata, using elementary facts from universal algebra and coalgebra, and building on earlier work by Arbib and Manes on a categorical presentation of Kalman duality between reachability and observability. This leads to a simple proof of its correctness and opens the door to further generalizations. Notably, we derive algorithms to obtain minimal, language equivalent automata from Moore, non-deterministic and weighted automata.
منابع مشابه
Varieties and Covarieties of Languages (Extended Abstract)
Because of the isomorphism (X × A) → X ∼= X → (A → X), the transition structure of a deterministic automaton with state set X and with inputs from an alphabet A can be viewed both as an algebra and as a coalgebra. This algebra-coalgebra duality goes back to Arbib and Manes, who formulated it as a duality between reachability and observability, and is ultimately based on Kalman’s duality in syst...
متن کاملVarieties and covarieties of languages ( preliminary version )
Because of the isomorphism (X × A) → X ∼= X → (A → X), the transition structure of a deterministic automaton with state set X and with inputs from an alphabet A can be viewed both as an algebra and as a coalgebra. This algebra-coalgebra duality goes back to Arbib and Manes, who formulated it as a duality between reachability and observability, and is ultimately based on Kalman’s duality in syst...
متن کاملBrzozowski's Algorithm (Co)Algebraically
We give a new presentation of Brzozowski’s algorithm to minimize finite automata, using elementary facts from universal algebra and coalgebra, and building on earlier work by Arbib and Manes on the duality between reachability and observability. This leads to a simple proof of its correctness and opens the door to further generalizations. This paper is dedicated to Dexter Kozen on the occasion ...
متن کاملOn the duality of quadratic minimization problems using pseudo inverses
In this paper we consider the minimization of a positive semidefinite quadratic form, having a singular corresponding matrix $H$. We state the dual formulation of the original problem and treat both problems only using the vectors $x in mathcal{N}(H)^perp$ instead of the classical approach of convex optimization techniques such as the null space method. Given this approach and based on t...
متن کامل. O A ] 1 0 Ju n 20 03 Free Analysis Questions I : Duality Transform for the Coalgebra of ∂ X : B Dan Voiculescu
A duality transform for the coalgebra of the free difference quotient derivationmultiplication of an operator with respect to a free algebra of scalars is constructed. The dual object is realized in an algebra of matricial analytic functions endowed with yet another generalization of the difference quotient derivation.
متن کامل